[next] [prev] [prev-tail] [tail] [up]

2.2.30 Integrals 2901 to 3000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 74 63 130 249 452 294 161 250

N.S.

1 0.80 0.68 1.41 2.71 4.91 3.20 1.75 2.72

time (sec)

N/A 0.213 0.057 4.084 0.225 0.275 1.792 0.285 6.367

Problem 2902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 209 185 218 0 1886 332 310 430

N.S.

1 0.95 0.84 0.99 0.00 8.57 1.51 1.41 1.95

time (sec)

N/A 0.345 0.136 4.059 0.000 0.299 1.402 0.292 6.501

Problem 2903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 200 182 190 0 1822 298 298 349

N.S.

1 0.93 0.84 0.88 0.00 8.44 1.38 1.38 1.62

time (sec)

N/A 0.345 0.019 4.130 0.000 0.292 1.354 0.318 0.554

Problem 2904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 47 136 136 155 46 134

N.S.

1 1.00 1.00 1.81 5.23 5.23 5.96 1.77 5.15

time (sec)

N/A 0.156 0.012 3.865 0.241 0.420 1.253 0.304 5.922

Problem 2905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 207 181 216 0 1780 323 286 357

N.S.

1 1.00 0.87 1.04 0.00 8.60 1.56 1.38 1.72

time (sec)

N/A 0.347 0.013 0.100 0.000 0.310 1.283 0.301 0.611

Problem 2906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 77 66 148 258 474 292 153 249

N.S.

1 0.82 0.70 1.57 2.74 5.04 3.11 1.63 2.65

time (sec)

N/A 0.211 0.050 4.213 0.231 0.270 1.832 0.309 6.489

Problem 2907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 228 199 219 0 879 445 295 485

N.S.

1 0.96 0.84 0.92 0.00 3.71 1.88 1.24 2.05

time (sec)

N/A 0.379 0.083 4.124 0.000 0.289 2.202 0.313 7.232

Problem 2908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 225 195 192 0 1051 500 371 563

N.S.

1 0.95 0.82 0.81 0.00 4.43 2.11 1.57 2.38

time (sec)

N/A 0.363 0.118 4.061 0.000 0.317 2.672 0.315 8.153

Problem 2909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 95 83 165 474 919 578 262 507

N.S.

1 0.82 0.72 1.42 4.09 7.92 4.98 2.26 4.37

time (sec)

N/A 0.223 0.096 4.052 0.235 0.298 3.109 0.306 8.156

Problem 2910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 29 28 104 0 62 88

N.S.

1 1.00 1.00 0.97 0.93 3.47 0.00 2.07 2.93

time (sec)

N/A 0.161 0.140 4.029 0.197 0.250 0.000 0.268 6.013

Problem 2911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 29 80 22 21 108 126 25 107

N.S.

1 1.26 3.48 0.96 0.91 4.70 5.48 1.09 4.65

time (sec)

N/A 0.169 0.019 3.892 0.192 0.248 0.028 0.274 0.058

Problem 2912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 172 22 21 250 299 21 229

N.S.

1 1.00 7.48 0.96 0.91 10.87 13.00 0.91 9.96

time (sec)

N/A 0.156 0.039 3.896 0.199 0.256 0.055 0.270 0.139

Problem 2913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 308 22 21 432 541 21 376

N.S.

1 1.00 13.39 0.96 0.91 18.78 23.52 0.91 16.35

time (sec)

N/A 0.157 0.071 3.895 0.216 0.247 0.074 0.274 0.265

Problem 2914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 21 20 54 56 20 54

N.S.

1 1.00 1.00 0.95 0.91 2.45 2.55 0.91 2.45

time (sec)

N/A 0.157 0.011 3.826 0.210 0.252 0.156 0.299 5.760

Problem 2915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 21 66 73 21 55

N.S.

1 1.00 1.00 0.96 0.91 2.87 3.17 0.91 2.39

time (sec)

N/A 0.153 0.015 4.007 0.226 0.277 0.724 0.273 0.218

Problem 2916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 21 172 197 21 171

N.S.

1 1.00 1.00 0.96 0.91 7.48 8.57 0.91 7.43

time (sec)

N/A 0.153 0.016 3.792 0.198 0.259 2.010 0.307 6.858

Problem 2917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 90 1036 0 0 0 0 56

N.S.

1 1.00 0.81 9.33 0.00 0.00 0.00 0.00 0.50

time (sec)

N/A 0.183 10.057 2.182 0.000 0.000 0.000 0.000 6.283

Problem 2918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 152 389 1528 0 0 0 0 0

N.S.

1 0.99 2.53 9.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.296 10.556 2.083 0.000 0.000 0.000 0.000 0.000

Problem 2919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

78 75 79 0 0 0 0 0 0

N.S.

1 0.96 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.256 1.038 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 74 112 0 0 0 0 0 0

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.217 0.648 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

76 91 135 0 0 0 0 0 0

N.S.

1 1.20 1.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.263 1.358 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

78 97 84 0 0 0 0 0 0

N.S.

1 1.24 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 1.633 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 70 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.228 0.294 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 61 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.207 0.109 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 61 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.202 0.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

52 52 52 0 0 0 0 0 53

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.02

time (sec)

N/A 0.190 0.029 0.000 0.000 0.000 0.000 0.000 7.351

Problem 2927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

46 46 46 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.184 0.096 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

62 62 59 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.206 0.103 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 72 67 108 34 48 0 108 0

N.S.

1 0.87 0.81 1.30 0.41 0.58 0.00 1.30 0.00

time (sec)

N/A 0.226 0.555 3.780 0.298 0.264 0.000 0.276 0.000

Problem 2930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 160 103 92 127 103 0 231 0

N.S.

1 0.92 0.59 0.53 0.73 0.59 0.00 1.33 0.00

time (sec)

N/A 0.241 1.229 4.068 0.230 0.290 0.000 0.278 0.000

Problem 2931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 108 72 63 85 75 0 164 0

N.S.

1 0.93 0.62 0.54 0.73 0.65 0.00 1.41 0.00

time (sec)

N/A 0.219 1.163 4.023 0.214 0.238 0.000 0.281 0.000

Problem 2932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 54 43 36 43 46 0 90 52

N.S.

1 0.96 0.77 0.64 0.77 0.82 0.00 1.61 0.93

time (sec)

N/A 0.185 0.203 4.165 0.223 0.241 0.000 0.280 6.108

Problem 2933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 51 40 60 114 0 38 0

N.S.

1 1.00 1.00 0.78 1.18 2.24 0.00 0.75 0.00

time (sec)

N/A 0.177 0.181 3.925 0.308 0.245 0.000 0.288 0.000

Problem 2934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 98 80 72 126 174 0 90 0

N.S.

1 1.01 0.82 0.74 1.30 1.79 0.00 0.93 0.00

time (sec)

N/A 0.195 0.942 3.963 0.300 0.253 0.000 0.290 0.000

Problem 2935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 181 112 114 211 237 0 135 0

N.S.

1 1.06 0.65 0.67 1.23 1.39 0.00 0.79 0.00

time (sec)

N/A 0.223 1.390 4.043 0.308 0.277 0.000 0.310 0.000

Problem 2936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 144 96 84 2192 98 0 201 0

N.S.

1 0.75 0.50 0.44 11.48 0.51 0.00 1.05 0.00

time (sec)

N/A 0.246 1.554 3.827 0.473 0.255 0.000 0.301 0.000

Problem 2937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 90 64 55 387 70 0 135 0

N.S.

1 0.80 0.57 0.49 3.42 0.62 0.00 1.19 0.00

time (sec)

N/A 0.203 1.275 4.128 0.222 0.259 0.000 0.284 0.000

Problem 2938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 27 42 40 0 18 0

N.S.

1 1.00 1.00 0.79 1.24 1.18 0.00 0.53 0.00

time (sec)

N/A 0.153 1.113 3.928 0.239 0.250 0.000 0.278 0.000

Problem 2939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 74 87 54 0 180 0 54 0

N.S.

1 1.10 1.30 0.81 0.00 2.69 0.00 0.81 0.00

time (sec)

N/A 0.177 1.114 3.931 0.000 0.262 0.000 0.280 0.000

Problem 2940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 151 63 97 0 252 0 114 0

N.S.

1 1.05 0.44 0.67 0.00 1.75 0.00 0.79 0.00

time (sec)

N/A 0.205 1.186 3.930 0.000 0.261 0.000 0.283 0.000

Problem 2941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 232 63 133 0 314 0 156 0

N.S.

1 1.06 0.29 0.61 0.00 1.43 0.00 0.71 0.00

time (sec)

N/A 0.241 1.351 3.942 0.000 0.258 0.000 0.298 0.000

Problem 2942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 93 67 0 0 78 0 55 0

N.S.

1 0.82 0.59 0.00 0.00 0.69 0.00 0.49 0.00

time (sec)

N/A 0.219 2.209 0.000 0.000 0.331 0.000 0.281 0.000

Problem 2943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 57 43 0 43 56 0 38 0

N.S.

1 1.02 0.77 0.00 0.77 1.00 0.00 0.68 0.00

time (sec)

N/A 0.198 1.513 0.000 0.209 0.272 0.000 0.291 0.000

Problem 2944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 29 0 46 0 20 0

N.S.

1 1.00 1.00 0.81 0.00 1.28 0.00 0.56 0.00

time (sec)

N/A 0.163 1.380 4.046 0.000 0.258 0.000 0.298 0.000

Problem 2945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 55 53 0 61 133 0 42 0

N.S.

1 1.00 0.96 0.00 1.11 2.42 0.00 0.76 0.00

time (sec)

N/A 0.180 0.383 0.000 0.296 0.264 0.000 0.292 0.000

Problem 2946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

71 77 93 0 0 206 0 61 0

N.S.

1 1.08 1.31 0.00 0.00 2.90 0.00 0.86 0.00

time (sec)

N/A 0.190 1.572 0.000 0.000 0.277 0.000 0.275 0.000

Problem 2947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

340 344 109 0 0 94 0 0 0

N.S.

1 1.01 0.32 0.00 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.329 7.094 0.000 0.000 0.110 0.000 0.000 0.000

Problem 2948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

306 315 64 0 0 84 0 0 0

N.S.

1 1.03 0.21 0.00 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.272 1.833 0.000 0.000 0.137 0.000 0.000 0.000

Problem 2949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

298 302 69 0 0 67 0 0 0

N.S.

1 1.01 0.23 0.00 0.00 0.22 0.00 0.00 0.00

time (sec)

N/A 0.279 10.024 0.000 0.000 0.091 0.000 0.000 0.000

Problem 2950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

352 355 69 0 0 96 0 0 0

N.S.

1 1.01 0.20 0.00 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.309 2.266 0.000 0.000 0.092 0.000 0.000 0.000

Problem 2951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

709 710 109 0 0 115 0 0 0

N.S.

1 1.00 0.15 0.00 0.00 0.16 0.00 0.00 0.00

time (sec)

N/A 0.554 2.228 0.000 0.000 0.127 0.000 0.000 0.000

Problem 2952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

642 659 69 495 0 105 0 0 55

N.S.

1 1.03 0.11 0.77 0.00 0.16 0.00 0.00 0.09

time (sec)

N/A 0.543 10.020 3.943 0.000 0.094 0.000 0.000 6.081

Problem 2953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

661 671 67 0 0 84 0 0 0

N.S.

1 1.02 0.10 0.00 0.00 0.13 0.00 0.00 0.00

time (sec)

N/A 0.530 1.992 0.000 0.000 1.773 0.000 0.000 0.000

Problem 2954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

681 701 69 0 0 117 0 0 0

N.S.

1 1.03 0.10 0.00 0.00 0.17 0.00 0.00 0.00

time (sec)

N/A 0.562 10.022 0.000 0.000 0.092 0.000 0.000 0.000

Problem 2955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

86 109 0 0 0 0 0 0 0

N.S.

1 1.27 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 100 74 0 0 0 0 0 0

N.S.

1 1.14 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.193 0.602 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

87 99 81 0 0 0 0 0 0

N.S.

1 1.14 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.226 1.396 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-2) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

90 101 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 2 6 0 2 0

N.S.

1 1.00 1.00 0.82 0.12 0.35 0.00 0.12 0.00

time (sec)

N/A 0.144 2.903 3.775 0.280 0.270 0.000 0.279 0.000

Problem 2960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

116 124 72 103 85 75 0 111 0

N.S.

1 1.07 0.62 0.89 0.73 0.65 0.00 0.96 0.00

time (sec)

N/A 0.270 1.203 7.546 0.195 0.358 0.000 0.287 0.000

Problem 2961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

56 62 43 41 43 46 0 57 52

N.S.

1 1.11 0.77 0.73 0.77 0.82 0.00 1.02 0.93

time (sec)

N/A 0.221 0.207 4.972 0.210 0.325 0.000 0.287 5.765

Problem 2962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) F A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

55 57 55 40 61 0 0 67 0

N.S.

1 1.04 1.00 0.73 1.11 0.00 0.00 1.22 0.00

time (sec)

N/A 0.211 0.190 5.112 0.280 0.000 0.000 0.302 0.000

Problem 2963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) F A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

97 106 80 81 126 0 0 122 0

N.S.

1 1.09 0.82 0.84 1.30 0.00 0.00 1.26 0.00

time (sec)

N/A 0.227 1.250 4.737 0.280 0.000 0.000 0.297 0.000

Problem 2964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

400 426 0 350 0 0 0 0 0

N.S.

1 1.06 0.00 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.379 0.000 5.467 0.000 0.000 0.000 0.000 0.000

Problem 2965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

355 374 0 306 0 0 0 0 0

N.S.

1 1.05 0.00 0.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.341 0.000 5.059 0.000 0.000 0.000 0.000 0.000

Problem 2966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

434 482 0 346 0 0 0 0 0

N.S.

1 1.11 0.00 0.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.396 0.000 5.078 0.000 0.000 0.000 0.000 0.000

Problem 2967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

843 933 0 932 0 0 0 0 0

N.S.

1 1.11 0.00 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.712 0.000 5.319 0.000 0.000 0.000 0.000 0.000

Problem 2968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

770 822 0 860 0 0 0 0 0

N.S.

1 1.07 0.00 1.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.633 0.000 5.020 0.000 0.000 0.000 0.000 0.000

Problem 2969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

810 886 0 869 0 0 0 0 0

N.S.

1 1.09 0.00 1.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.665 0.000 5.050 0.000 0.000 0.000 0.000 0.000

Problem 2970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

116 124 80 0 85 87 0 121 0

N.S.

1 1.07 0.69 0.00 0.73 0.75 0.00 1.04 0.00

time (sec)

N/A 0.272 2.371 0.000 0.198 1.686 0.000 0.280 0.000

Problem 2971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

56 62 43 0 43 56 0 63 0

N.S.

1 1.11 0.77 0.00 0.77 1.00 0.00 1.12 0.00

time (sec)

N/A 0.223 1.663 0.000 0.197 0.980 0.000 0.296 0.000

Problem 2972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F(-1) F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

55 57 53 0 61 0 0 74 0

N.S.

1 1.04 0.96 0.00 1.11 0.00 0.00 1.35 0.00

time (sec)

N/A 0.215 0.390 0.000 0.285 0.000 0.000 0.288 0.000

Problem 2973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F(-1) F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

101 106 82 0 128 0 0 130 0

N.S.

1 1.05 0.81 0.00 1.27 0.00 0.00 1.29 0.00

time (sec)

N/A 0.229 1.788 0.000 0.282 0.000 0.000 0.288 0.000

Problem 2974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

642 727 69 495 0 0 0 0 52

N.S.

1 1.13 0.11 0.77 0.00 0.00 0.00 0.00 0.08

time (sec)

N/A 0.634 10.080 3.962 0.000 0.000 0.000 0.000 6.507

Problem 2975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

170 228 0 0 0 0 0 0 0

N.S.

1 1.34 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.350 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

91 117 0 0 0 0 0 0 0

N.S.

1 1.29 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.244 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

139 185 0 0 0 0 0 0 0

N.S.

1 1.33 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.288 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

84 130 0 0 0 0 0 0 0

N.S.

1 1.55 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.276 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 130 84 0 0 0 0 0 0

N.S.

1 1.55 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.273 0.795 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

84 154 89 0 0 0 0 0 0

N.S.

1 1.83 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 1.571 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

102 154 0 0 0 0 0 0 0

N.S.

1 1.51 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

169 188 112 211 211 224 0 0 0

N.S.

1 1.11 0.66 1.25 1.25 1.33 0.00 0.00 0.00

time (sec)

N/A 0.267 0.224 4.000 0.279 0.322 0.000 0.000 0.000

Problem 2983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

92 116 78 147 126 161 0 130 0

N.S.

1 1.26 0.85 1.60 1.37 1.75 0.00 1.41 0.00

time (sec)

N/A 0.243 0.138 3.955 0.289 0.321 0.000 0.336 0.000

Problem 2984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A A F(-2) F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

51 55 51 150 61 110 73 0 0

N.S.

1 1.08 1.00 2.94 1.20 2.16 1.43 0.00 0.00

time (sec)

N/A 0.215 0.045 4.107 0.294 0.330 0.524 0.000 0.000

Problem 2985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 60 54 41 43 48 0 0 52

N.S.

1 1.07 0.96 0.73 0.77 0.86 0.00 0.00 0.93

time (sec)

N/A 0.223 0.047 3.870 0.201 0.322 0.000 0.000 5.838

Problem 2986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 122 86 97 85 77 0 0 0

N.S.

1 1.05 0.74 0.84 0.73 0.66 0.00 0.00 0.00

time (sec)

N/A 0.269 0.080 4.177 0.213 0.311 0.000 0.000 0.000

Problem 2987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 182 103 133 127 105 0 0 0

N.S.

1 1.05 0.59 0.76 0.73 0.60 0.00 0.00 0.00

time (sec)

N/A 0.320 0.104 4.014 0.209 0.356 0.000 0.000 0.000

Problem 2988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 194 112 298 211 224 0 175 0

N.S.

1 1.13 0.65 1.73 1.23 1.30 0.00 1.02 0.00

time (sec)

N/A 0.280 0.149 4.401 0.296 0.327 0.000 0.353 0.000

Problem 2989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

95 122 79 230 131 165 0 139 0

N.S.

1 1.28 0.83 2.42 1.38 1.74 0.00 1.46 0.00

time (sec)

N/A 0.252 0.125 4.283 0.281 0.412 0.000 0.349 0.000

Problem 2990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 32 31 203 45 81 56 96 0

N.S.

1 1.03 1.00 6.55 1.45 2.61 1.81 3.10 0.00

time (sec)

N/A 0.207 0.031 4.304 0.286 0.329 0.455 0.347 0.000

Problem 2991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 58 42 41 42 34 0 0 52

N.S.

1 1.07 0.78 0.76 0.78 0.63 0.00 0.00 0.96

time (sec)

N/A 0.224 0.040 4.179 0.190 0.313 0.000 0.000 5.701

Problem 2992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 118 72 336 85 61 0 0 0

N.S.

1 1.05 0.64 3.00 0.76 0.54 0.00 0.00 0.00

time (sec)

N/A 0.270 0.064 4.485 0.196 0.339 0.000 0.000 0.000

Problem 2993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 180 103 400 127 89 0 0 0

N.S.

1 1.05 0.60 2.33 0.74 0.52 0.00 0.00 0.00

time (sec)

N/A 0.309 0.093 4.437 0.198 0.295 0.000 0.000 0.000

Problem 2994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

58 64 48 90 62 55 0 42 37

N.S.

1 1.10 0.83 1.55 1.07 0.95 0.00 0.72 0.64

time (sec)

N/A 0.193 0.074 3.974 0.197 0.281 0.000 0.320 6.007

Problem 2995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

102 145 0 0 0 0 0 0 0

N.S.

1 1.42 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

60 108 78 0 0 0 0 0 0

N.S.

1 1.80 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.286 1.130 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

78 115 85 0 0 0 0 0 0

N.S.

1 1.47 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.252 1.720 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

102 128 0 0 0 0 0 0 0

N.S.

1 1.25 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

102 145 0 0 0 0 0 0 0

N.S.

1 1.42 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.316 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

58 106 96 0 0 0 0 0 0

N.S.

1 1.83 1.66 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 1.351 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]